Language of mathematics

Results: 1871



#Item
211Carsten Lund / Computational learning theory / Sparse language / IP / ACM SIGACT / Computer science / International Colloquium on Automata /  Languages and Programming / Interactive proof system / Probabilistically checkable proof / Theoretical computer science / Applied mathematics / Computational complexity theory

Lance Jeremy Fortnow Georgia Institute of Technology School of Computer Science 266 Ferst Drive Atlanta, GA 30332

Add to Reading List

Source URL: lance.fortnow.com

Language: English - Date: 2014-06-05 11:48:59
212Space / Discrete space / Planning Domain Definition Language / Automated planning and scheduling / Control theory / Applied mathematics / Mathematics / Motion planning / Theoretical computer science

Sampling-based Motion Planning with High-Level Discrete Specifications Erion Plaku Abstract— Motion planning has generally focused on computing a collision-free trajectory to a goal region. Enhancing the ability of rob

Add to Reading List

Source URL: iros2011.org

Language: English - Date: 2011-09-21 07:00:36
213Computational linguistics / Science / Statistical classification / Machine learning / Category theory / String kernel / Support vector machine / Kernel / Supervised learning / Mathematics / Statistics / Natural language processing

Semi-Supervised Abstraction-Augmented String Kernel for Multi-Level Bio-Relation Extraction Pavel Kuksa1 , Yanjun Qi2 , Bing Bai2 , Ronan Collobert2 , Jason Weston3 , Vladimir Pavlovic1 , and Xia Ning4 1 Department of Co

Add to Reading List

Source URL: ronan.collobert.com

Language: English - Date: 2010-07-06 10:10:09
214Mathematics education / Cognitively Guided Instruction / Teacher education / Knowledge / National Council of Teachers of Mathematics / English-language learner / Education / Elementary mathematics / Mathematics

Journal for Research in Mathematics Education 2010, Vol. 41, No. 2, 169–202 Professional Noticing of Children’s Mathematical Thinking Victoria R. Jacobs, Lisa L. C. Lamb, and Randolph A. Philipp

Add to Reading List

Source URL: static.ark.org

Language: English - Date: 2015-05-07 14:06:48
215Epistemology / Philosophers of mathematics / Abstraction / Philosophy of mathematics / Lottery paradox / Many-valued logic / Non-monotonic logic / Synthese / Formal epistemology / Philosophy / Logic / Knowledge

Curriculum Vitae and List of Publications Hannes Leitgeb May 2015 Department Address Chair of Logic and Philosophy of Language, Alexander von Humboldt Professor, and

Add to Reading List

Source URL: www.philosophie.uni-muenchen.de

Language: English
216Division / Fraction / Numbers / Mathematics education / Common Core State Standards Initiative / Percentage / Pi / Mathematical logic / Mathematics / Elementary arithmetic / Education reform

ARKANSAS REFRIGERATOR CURRICULUM FOR SIXTH GRADE ENGLISH LANGUAGE ARTS * Aligned to Common Core State Standards  Provide detailed summaries of texts  Determine the theme or central idea of a text and

Add to Reading List

Source URL: www.arkansased.gov

Language: English - Date: 2012-10-05 10:58:06
217Education in Arkansas / Great American Conference / Public universities / Arkansas Department of Education / Arkansas Tech University / University of Central Arkansas / Pulaski County Special School District / University of Arkansas / Arkansas Department of Education Distance Learning Center / Arkansas / North Central Association of Colleges and Schools / American Association of State Colleges and Universities

Arkansas Measures of Academic Success: PARCC-developed English Language Arts and Mathematics The Arkansas PARCC assessments are modern learning tools developed by educators to allow students to show what they know and wh

Add to Reading List

Source URL: static.ark.org

Language: English - Date: 2015-05-12 14:16:33
218Business intelligence / SAS / Plot / Graph of a function / Graph / Theoretical computer science / Computing / SAS language / Charts / Mathematics / 4GL

Microsoft Word - SGF 2015 SGPLOT SGPANEL 06mar2015L.docx

Add to Reading List

Source URL: susanslaughter.files.wordpress.com

Language: English - Date: 2015-05-05 17:41:29
219Graph drawing / Force-based algorithms / Graph / Tree / Connectivity / Social network analysis software / DOT language / Graph theory / Mathematics / Theoretical computer science

Chapter 1 Agile Graph Building Book Todo: TODO: introduce useInLayout Graph, composed of nodes and edges, is one of the most popular visual

Add to Reading List

Source URL: dl.dropboxusercontent.com

Language: English
220Knowledge / Systems engineering / Psychological testing / Psychometrics / Educational research / Reliability engineering / Systems engineering process / Standards for Educational and Psychological Testing / Validity / Education / Educational psychology / Evaluation

Third Party Review Scope of Work A. Program Background. The Department awarded a contract to develop, administer, score, and report English language arts (ELA) and mathematics assessments aligned to the Florida Standards

Add to Reading List

Source URL: www.flgov.com

Language: English - Date: 2015-05-15 17:09:05
UPDATE